[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286 }

B grade: { 197 }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33, 37, 38, 39, 40, 41, 45, 46, 47, 48, 49, 50, 51, 52, 53, 55, 56, 57, 58, 59, 60, 63, 64, 65, 66, 67, 71, 72, 73, 74, 79, 80, 81, 82, 86, 87, 88, 89, 93, 94, 95, 96, 100, 101, 102, 103, 108, 109, 111, 112, 113, 114, 115, 116, 119, 120, 121, 122, 123, 124, 125, 130, 131, 132, 141, 146, 147, 152, 153, 168, 169, 170, 173, 175, 178, 179, 182, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 200, 201, 202, 203, 209, 217, 218, 221, 226, 227, 229, 230, 234, 235, 236, 237, 238, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 254, 255, 256, 257, 259, 260, 261, 262, 263, 264, 266, 267, 268, 271, 275, 276, 279, 281, 282, 283, 286 }

B grade: { 1, 2, 3, 15, 27, 28, 34, 35, 36, 42, 43, 44, 54, 61, 62, 107, 126, 171, 172, 180, 181, 195, 196, 204, 210, 211, 212, 213, 219, 220, 225, 228, 252, 253, 258, 273, 285 }

C grade: { 68, 69, 70, 75, 76, 77, 78, 83, 84, 85, 90, 91, 92, 97, 98, 99, 104, 105, 106, 110, 117, 118, 127, 128, 129, 133, 134, 135, 136, 137, 138, 139, 140, 142, 143, 144, 145, 148, 149, 150, 158, 162, 163, 164, 165, 174, 176, 183, 197, 198, 199, 205, 206, 207, 208, 214, 215, 216, 222, 223, 224, 231, 232, 233, 239, 240, 265, 269, 270, 272, 277, 280, 284 }

F grade: { 151, 154, 155, 156, 157, 159, 160, 161, 166, 167, 177, 274, 278 }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39, 40, 41, 42, 43, 44, 45, 46, 47, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 61, 62, 63, 64, 65, 66, 67, 68, 71, 72, 73, 74, 75, 76, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 93, 94, 95, 96, 97, 100, 101, 102, 103, 104, 105, 108, 109, 111, 112, 113, 114, 115, 116, 117, 119, 120, 121, 122, 123, 124, 125, 126, 127, 131, 132, 133, 134, 136, 137, 138, 139, 141, 142, 143, 144, 148, 149, 150, 168, 169, 171, 172, 173, 181, 182, 185, 186, 187, 188, 190, 191, 192, 193, 194, 195, 196, 199, 200, 201, 202, 203, 204, 208, 209, 213, 214, 215, 216, 220, 221, 222, 223, 224, 229, 230, 231, 232, 233, 244, 245, 246, 247, 248, 249, 250, 251, 255, 256, 257, 262, 263, 264, 265, 266, 268, 269, 273, 275, 276, 279, 282, 285, 286 }

B grade: { 69, 70, 77, 78, 91, 92, 98, 99, 106, 107, 110, 118, 128, 129, 130, 135, 140, 145, 146, 147, 170, 178, 179, 180, 183, 184, 189, 197, 198, 205, 206, 207, 210, 211, 212, 217, 218, 219, 225, 226, 227, 228, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 252, 253, 254, 258, 259, 260, 261, 281 }

C grade: { 267, 270, 271, 272, 274, 277, 278, 280, 283, 284 }

F grade: { 38, 48, 60, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 174, 175, 176, 177 }

2.1.4 Maxima

A grade: { 2, 3, 4, 7, 8, 9, 14, 26, 38, 39, 40, 41, 47, 48, 49, 50, 51, 57, 58, 59, 60, 61, 62, 63, 86, 87, 88, 93, 94, 95, 100, 101, 109, 110, 116, 118, 126, 129, 135, 136, 140, 141, 145, 147, 156, 157, 162, 163, 164, 168, 173, 183, 185, 186, 187, 188, 195, 196, 203, 221, 229, 230, 244, 245, 246, 247, 285, 286 }

B grade: { 1, 5, 6, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 42, 43, 44, 45, 46, 52, 53, 54, 55, 56, 89, 96, 102, 103, 107, 108, 111, 112, 113, 114, 115, 117, 119, 120, 121, 122, 123, 124, 125, 127, 128, 130, 131, 132, 133, 134, 137, 138, 139, 142, 143, 146, 148, 150, 158, 169, 170, 171, 172, 178, 180, 181, 182, 193, 194, 202, 204, 210, 211, 212, 213, 217, 218, 219, 220, 225, 226, 227, 228 }

C grade: { }

F grade: { 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 90, 91, 92, 97, 98, 99, 104, 105, 106, 144, 149, 151, 152, 153, 154, 155, 159, 160, 161, 165, 166, 167, 174, 175, 176, 177, 179, 184, 189, 190, 191, 192, 197, 198, 199, 200, 201, 205, 206, 207, 208, 209, 214, 215, 216, 222, 223, 224, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 70, 71, 72, 73, 75, 76, 77, 78, 79, 80, 81, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 109, 113, 114, 115, 120, 121, 123, 124, 125, 132, 136, 138, 143, 144, 148, 149, 150, 156, 157, 158, 162, 163, 164, 168, 169, 171, 172, 173, 178, 179, 180, 181, 182, 185, 186, 187, 188, 189, 193, 194, 195, 196, 197, 202, 203, 204, 205, 210, 211, 213, 214, 217, 218, 220, 221, 225, 226, 227, 228, 229, 230, 235, 236, 237, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 255, 256, 262, 286 }

B grade: { 17, 30, 56, 69, 74, 82, 107, 108, 111, 112, 116, 119, 122, 126, 130, 131, 137, 141, 142, 146, 147, 170, 183, 184, 190, 191, 192, 198, 199, 200, 201, 206, 207, 208, 209, 212, 215, 216, 219, 222, 223, 224, 231, 232, 233, 234, 238, 250, 251, 252, 253, 254, 257, 260, 261, 263, 285 }

C grade: { }

F grade: { 110, 117, 118, 127, 128, 129, 133, 134, 135, 139, 140, 145, 151, 152, 153, 154, 155, 159, 160, 161, 165, 166, 167, 174, 175, 176, 177, 258, 259, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284 }

2.1.6 Sympy

A grade: { 170 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286 }

2.1.7 Giac

A grade: { 6, 7, 8, 9, 17, 18, 19, 20, 30, 31, 32, 33, 38, 39, 40, 41, 46, 47, 48, 49, 50, 51, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 71, 72, 73, 74, 79, 80, 81, 82, 86, 87, 88, 93, 94, 95, 100, 101, 102, 170, 173, 199, 208, 214, 215, 216, 221, 229, 230, 249, 262, 285, 286 }

B grade: { 190, 191, 192, 200, 201, 209, 222, 223, 224, 231, 232, 233, 250, 251, 256, 257, 263 }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 10, 11, 12, 13, 14, 15, 16, 21, 22, 23, 24, 25, 26, 27, 28, 29, 34, 35, 36, 37, 42, 43, 44, 45, 52, 53, 54, 55, 68, 69, 70, 75, 76, 77, 78, 83, 84, 85, 89, 90, 91, 92, 96, 97, 98, 99, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 171, 172, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 193, 194, 195, 196, 197, 198, 202, 203, 204, 205, 206, 207, 210, 211, 212, 213, 217, 218, 219, 220, 225, 226, 227, 228, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 252, 253, 254, 255, 258, 259, 260, 261, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284 }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 71, 72, 73, 74, 79, 80, 81, 82, 86, 87, 88, 89, 93, 94, 95, 96, 100, 101, 102, 103, 107, 108, 109, 111, 112, 113, 114, 115, 116, 119, 120, 121, 122, 123, 124, 125, 126, 130, 131, 132, 141, 146, 147, 157, 162, 163, 164, 168, 169, 170, 171, 172, 173, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 285, 286 }

C grade: { }

F grade: { 68, 69, 70, 75, 76, 77, 78, 83, 84, 85, 90, 91, 92, 97, 98, 99, 104, 105, 106, 110, 117, 118, 127, 128, 129, 133, 134, 135, 136, 137, 138, 139, 140, 142, 143, 144, 145, 148, 149, 150, 151, 152, 153, 154, 155, 156, 158, 159, 160, 161, 165, 166, 167, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 499 130 215 131 0 0 176
normalized size 1 1.00 4.75 1.24 2.05 1.25 0.00 0.00 1.68
time (sec) N/A 0.195 1.697 1.725 0.650 0.460 0.000 0.000 6.644
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 887 107 133 117 0 0 146
normalized size 1 1.00 10.31 1.24 1.55 1.36 0.00 0.00 1.70
time (sec) N/A 0.157 6.483 1.306 0.418 0.473 0.000 0.000 5.197
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 313 84 108 103 0 0 114
normalized size 1 1.00 5.13 1.38 1.77 1.69 0.00 0.00 1.87
time (sec) N/A 0.104 0.722 1.169 0.588 0.446 0.000 0.000 3.810
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 38 42 68 67 0 0 77
normalized size 1 1.00 1.00 1.11 1.79 1.76 0.00 0.00 2.03
time (sec) N/A 0.050 0.028 0.662 0.460 0.445 0.000 0.000 2.238
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 77 63 101 66 0 0 31
normalized size 1 1.00 1.83 1.50 2.40 1.57 0.00 0.00 0.74
time (sec) N/A 0.054 0.072 0.867 1.172 0.444 0.000 0.000 1.846
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 50 21 97 51 0 21 20
normalized size 1 1.00 1.39 0.58 2.69 1.42 0.00 0.58 0.56
time (sec) N/A 0.050 0.252 0.793 0.598 0.428 0.000 1.577 2.060
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 87 37 117 78 0 39 35
normalized size 1 1.00 1.14 0.49 1.54 1.03 0.00 0.51 0.46
time (sec) N/A 0.098 0.407 0.720 0.338 0.438 0.000 0.505 1.710
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 116 113 50 177 104 0 54 61
normalized size 1 1.00 0.97 0.43 1.53 0.90 0.00 0.47 0.53
time (sec) N/A 0.150 0.464 0.759 0.458 0.437 0.000 0.354 1.746
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 158 158 139 63 197 128 0 69 106
normalized size 1 1.00 0.88 0.40 1.25 0.81 0.00 0.44 0.67
time (sec) N/A 0.210 0.365 0.773 0.696 0.423 0.000 0.469 1.843
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 171 171 102 192 368 177 0 0 251
normalized size 1 1.00 0.60 1.12 2.15 1.04 0.00 0.00 1.47
time (sec) N/A 0.274 1.852 1.936 0.337 0.460 0.000 0.000 5.760
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 150 150 91 167 321 161 0 0 219
normalized size 1 1.00 0.61 1.11 2.14 1.07 0.00 0.00 1.46
time (sec) N/A 0.241 1.396 1.658 0.564 0.489 0.000 0.000 5.608
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 82 142 227 145 0 0 187
normalized size 1 1.00 0.87 1.51 2.41 1.54 0.00 0.00 1.99
time (sec) N/A 0.149 0.750 1.508 0.405 0.476 0.000 0.000 6.503
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 51 75 150 99 0 0 155
normalized size 1 1.00 0.70 1.03 2.05 1.36 0.00 0.00 2.12
time (sec) N/A 0.108 0.152 0.874 0.540 0.450 0.000 0.000 5.213
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 45 84 108 103 0 0 113
normalized size 1 1.00 0.74 1.38 1.77 1.69 0.00 0.00 1.85
time (sec) N/A 0.103 0.107 1.104 0.379 0.464 0.000 0.000 3.786
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 220 116 225 108 0 0 77
normalized size 1 1.00 2.97 1.57 3.04 1.46 0.00 0.00 1.04
time (sec) N/A 0.099 1.865 0.640 0.371 0.445 0.000 0.000 1.907
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 109 91 201 128 0 0 63
normalized size 1 1.00 1.22 1.02 2.26 1.44 0.00 0.00 0.71
time (sec) N/A 0.128 0.088 0.789 0.352 0.471 0.000 0.000 1.779
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 25 23 189 83 0 23 22
normalized size 1 1.00 0.66 0.61 4.97 2.18 0.00 0.61 0.58
time (sec) N/A 0.075 0.123 0.806 0.351 0.437 0.000 2.378 1.643
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 115 39 270 114 0 43 37
normalized size 1 1.00 1.44 0.49 3.38 1.42 0.00 0.54 0.46
time (sec) N/A 0.150 0.440 0.801 0.351 0.467 0.000 0.390 1.621
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 141 52 269 140 0 60 67
normalized size 1 1.00 1.17 0.43 2.22 1.16 0.00 0.50 0.55
time (sec) N/A 0.230 0.435 0.831 0.361 0.432 0.000 0.458 1.631
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 163 163 167 65 389 168 0 77 108
normalized size 1 1.00 1.02 0.40 2.39 1.03 0.00 0.47 0.66
time (sec) N/A 0.315 0.675 0.899 0.355 0.453 0.000 0.488 1.691
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 227 227 122 242 443 209 0 0 316
normalized size 1 1.00 0.54 1.07 1.95 0.92 0.00 0.00 1.39
time (sec) N/A 0.335 3.394 1.932 0.348 0.522 0.000 0.000 5.579
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 206 206 111 217 408 193 0 0 284
normalized size 1 1.00 0.54 1.05 1.98 0.94 0.00 0.00 1.38
time (sec) N/A 0.302 2.540 1.911 0.349 0.500 0.000 0.000 5.518
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 102 192 368 177 0 0 252
normalized size 1 1.00 0.84 1.59 3.04 1.46 0.00 0.00 2.08
time (sec) N/A 0.178 1.638 1.949 0.357 0.510 0.000 0.000 5.707
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 60 100 244 115 0 0 220
normalized size 1 1.00 0.60 1.00 2.44 1.15 0.00 0.00 2.20
time (sec) N/A 0.131 0.250 1.141 0.346 0.475 0.000 0.000 5.560
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 81 142 227 145 0 0 188
normalized size 1 1.00 0.86 1.51 2.41 1.54 0.00 0.00 2.00
time (sec) N/A 0.148 0.807 1.559 0.349 0.490 0.000 0.000 6.265
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 70 107 133 117 0 0 146
normalized size 1 1.00 0.81 1.24 1.55 1.36 0.00 0.00 1.70
time (sec) N/A 0.156 0.600 1.118 0.339 0.487 0.000 0.000 4.792
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 287 166 387 125 0 0 105
normalized size 1 1.00 2.87 1.66 3.87 1.25 0.00 0.00 1.05
time (sec) N/A 0.129 2.643 0.698 0.345 0.487 0.000 0.000 3.172
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 402 140 349 165 0 0 93
normalized size 1 1.00 3.38 1.18 2.93 1.39 0.00 0.00 0.78
time (sec) N/A 0.183 3.453 0.688 0.357 0.488 0.000 0.000 2.043
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 132 132 139 113 309 176 0 0 78
normalized size 1 1.00 1.05 0.86 2.34 1.33 0.00 0.00 0.59
time (sec) N/A 0.214 0.115 0.917 0.363 0.488 0.000 0.000 1.778
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 25 23 356 111 0 23 22
normalized size 1 1.00 0.66 0.61 9.37 2.92 0.00 0.61 0.58
time (sec) N/A 0.072 0.155 0.923 0.371 0.454 0.000 0.418 1.811
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 141 39 357 140 0 43 37
normalized size 1 1.00 1.76 0.49 4.46 1.75 0.00 0.54 0.46
time (sec) N/A 0.152 0.403 0.953 0.368 0.452 0.000 0.885 1.621
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 167 52 518 168 0 60 67
normalized size 1 1.00 1.38 0.43 4.28 1.39 0.00 0.50 0.55
time (sec) N/A 0.230 0.700 0.960 0.380 0.500 0.000 1.501 1.859
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 162 162 193 65 517 194 0 77 108
normalized size 1 1.00 1.19 0.40 3.19 1.20 0.00 0.48 0.67
time (sec) N/A 0.317 0.592 0.962 0.388 0.459 0.000 0.714 1.716
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 1036 212 591 153 0 0 112
normalized size 1 1.00 8.56 1.75 4.88 1.26 0.00 0.00 0.93
time (sec) N/A 0.156 6.423 0.746 0.347 0.519 0.000 0.000 1.854
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 287 164 386 140 0 0 96
normalized size 1 1.00 2.87 1.64 3.86 1.40 0.00 0.00 0.96
time (sec) N/A 0.130 2.652 0.705 0.346 0.459 0.000 0.000 1.660
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 74 74 220 116 224 119 0 0 77
normalized size 1 1.00 2.97 1.57 3.03 1.61 0.00 0.00 1.04
time (sec) N/A 0.103 1.657 0.705 0.347 0.491 0.000 0.000 1.636
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 77 61 101 70 0 0 31
normalized size 1 1.00 1.88 1.49 2.46 1.71 0.00 0.00 0.76
time (sec) N/A 0.053 0.064 0.776 0.331 0.455 0.000 0.000 1.577
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 0 18 18 0 19 18
normalized size 1 1.00 1.00 0.00 1.12 1.12 0.00 1.19 1.12
time (sec) N/A 0.089 0.027 180.000 0.324 0.442 0.000 0.418 1.556
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 81 48 77 50 0 59 50
normalized size 1 1.00 1.37 0.81 1.31 0.85 0.00 1.00 0.85
time (sec) N/A 0.137 0.482 0.784 0.339 0.431 0.000 0.310 1.642
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 107 61 97 74 0 73 63
normalized size 1 1.00 1.37 0.78 1.24 0.95 0.00 0.94 0.81
time (sec) N/A 0.179 0.850 1.029 0.340 0.442 0.000 0.360 1.722
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 145 74 117 102 0 87 83
normalized size 1 1.00 1.21 0.62 0.98 0.85 0.00 0.72 0.69
time (sec) N/A 0.229 0.902 0.964 0.338 0.439 0.000 0.351 2.131
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 164 164 380 234 765 210 0 0 170
normalized size 1 1.00 2.32 1.43 4.66 1.28 0.00 0.00 1.04
time (sec) N/A 0.247 1.198 0.795 0.353 0.472 0.000 0.000 1.734
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 150 150 349 186 531 197 0 0 136
normalized size 1 1.00 2.33 1.24 3.54 1.31 0.00 0.00 0.91
time (sec) N/A 0.215 1.970 0.743 0.354 0.464 0.000 0.000 1.681
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 485 136 341 178 0 0 104
normalized size 1 1.00 4.08 1.14 2.87 1.50 0.00 0.00 0.87
time (sec) N/A 0.186 4.322 0.678 0.342 0.492 0.000 0.000 1.649
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 109 89 196 138 0 0 46
normalized size 1 1.00 1.24 1.01 2.23 1.57 0.00 0.00 0.52
time (sec) N/A 0.131 0.111 0.823 0.329 0.627 0.000 0.000 1.612
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 23 21 94 53 0 21 20
normalized size 1 1.00 0.64 0.58 2.61 1.47 0.00 0.58 0.56
time (sec) N/A 0.048 0.088 0.800 0.332 0.448 0.000 0.298 1.567
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 83 48 76 49 0 72 61
normalized size 1 1.00 1.41 0.81 1.29 0.83 0.00 1.22 1.03
time (sec) N/A 0.136 0.573 0.645 0.334 0.470 0.000 0.509 1.618
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 33 0 31 50 0 33 28
normalized size 1 1.00 0.87 0.00 0.82 1.32 0.00 0.87 0.74
time (sec) N/A 0.098 0.052 180.000 0.335 0.448 0.000 0.320 1.565
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 147 76 121 109 0 101 76
normalized size 1 1.00 1.84 0.95 1.51 1.36 0.00 1.26 0.95
time (sec) N/A 0.146 0.964 0.857 0.339 0.447 0.000 0.356 2.009
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 179 87 140 120 0 115 89
normalized size 1 1.00 1.83 0.89 1.43 1.22 0.00 1.17 0.91
time (sec) N/A 0.189 0.930 0.845 0.341 0.453 0.000 0.440 2.668
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 141 211 102 161 163 0 129 102
normalized size 1 1.00 1.50 0.72 1.14 1.16 0.00 0.91 0.72
time (sec) N/A 0.246 1.432 0.979 0.342 0.461 0.000 1.383 4.237
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 215 215 406 256 935 263 0 0 193
normalized size 1 1.00 1.89 1.19 4.35 1.22 0.00 0.00 0.90
time (sec) N/A 0.336 2.166 0.822 0.383 0.484 0.000 0.000 1.653
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 193 193 380 208 680 250 0 0 159
normalized size 1 1.00 1.97 1.08 3.52 1.30 0.00 0.00 0.82
time (sec) N/A 0.309 1.408 0.800 0.369 0.473 0.000 0.000 1.642
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 164 164 826 160 470 231 0 0 126
normalized size 1 1.00 5.04 0.98 2.87 1.41 0.00 0.00 0.77
time (sec) N/A 0.275 6.322 0.685 0.358 0.482 0.000 0.000 1.629
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 139 111 304 192 0 0 61
normalized size 1 1.00 1.06 0.85 2.32 1.47 0.00 0.00 0.47
time (sec) N/A 0.215 0.122 0.830 0.350 0.483 0.000 0.000 1.646
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 25 23 185 82 0 23 22
normalized size 1 1.00 0.66 0.61 4.87 2.16 0.00 0.61 0.58
time (sec) N/A 0.074 0.126 0.836 0.337 0.421 0.000 1.798 1.593
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 87 37 115 79 0 39 35
normalized size 1 1.00 1.14 0.49 1.51 1.04 0.00 0.51 0.46
time (sec) N/A 0.099 0.345 0.800 0.339 0.434 0.000 0.398 1.576
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 109 61 95 76 0 91 74
normalized size 1 1.00 1.40 0.78 1.22 0.97 0.00 1.17 0.95
time (sec) N/A 0.181 0.821 0.705 0.331 0.471 0.000 0.370 1.624
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 147 76 120 109 0 108 111
normalized size 1 1.00 1.84 0.95 1.50 1.36 0.00 1.35 1.39
time (sec) N/A 0.142 0.825 0.868 0.340 0.439 0.000 0.391 1.708
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F(-2) A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 50 0 41 76 0 44 38
normalized size 1 1.00 0.85 0.00 0.69 1.29 0.00 0.75 0.64
time (sec) N/A 0.109 0.075 180.000 0.377 0.433 0.000 0.696 1.628
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 99 99 211 102 159 163 0 135 129
normalized size 1 1.00 2.13 1.03 1.61 1.65 0.00 1.36 1.30
time (sec) N/A 0.149 1.406 0.926 0.350 0.424 0.000 1.005 2.536
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 120 120 257 115 181 190 0 150 109
normalized size 1 1.00 2.14 0.96 1.51 1.58 0.00 1.25 0.91
time (sec) N/A 0.204 1.607 0.972 0.338 0.454 0.000 0.553 2.882
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 162 162 289 128 200 217 0 164 120
normalized size 1 1.00 1.78 0.79 1.23 1.34 0.00 1.01 0.74
time (sec) N/A 0.260 2.320 0.998 0.339 0.450 0.000 0.529 3.107
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 163 163 86 83 0 119 0 111 483
normalized size 1 1.00 0.53 0.51 0.00 0.73 0.00 0.68 2.96
time (sec) N/A 0.278 0.910 1.223 0.000 0.456 0.000 3.363 9.131
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 122 122 76 73 0 105 0 86 384
normalized size 1 1.00 0.62 0.60 0.00 0.86 0.00 0.70 3.15
time (sec) N/A 0.200 0.486 1.177 0.000 0.448 0.000 3.409 6.004
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 81 64 63 0 82 0 58 120
normalized size 1 1.00 0.79 0.78 0.00 1.01 0.00 0.72 1.48
time (sec) N/A 0.128 0.275 1.211 0.000 0.426 0.000 2.543 5.364
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 51 53 0 65 0 32 87
normalized size 1 1.00 1.31 1.36 0.00 1.67 0.00 0.82 2.23
time (sec) N/A 0.059 0.184 1.340 0.000 0.458 0.000 2.393 2.749
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 132 85 0 272 0 0 -1
normalized size 1 1.00 1.71 1.10 0.00 3.53 0.00 0.00 -0.01
time (sec) N/A 0.107 0.644 1.595 0.000 0.522 0.000 0.000 0.000
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 246 164 0 342 0 0 -1
normalized size 1 1.00 3.24 2.16 0.00 4.50 0.00 0.00 -0.01
time (sec) N/A 0.114 1.146 1.375 0.000 0.535 0.000 0.000 0.000
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 113 113 309 308 0 405 0 0 -1
normalized size 1 1.00 2.73 2.73 0.00 3.58 0.00 0.00 -0.01
time (sec) N/A 0.155 1.125 1.422 0.000 0.514 0.000 0.000 0.000
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 171 171 88 85 0 147 0 113 606
normalized size 1 1.00 0.51 0.50 0.00 0.86 0.00 0.66 3.54
time (sec) N/A 0.448 1.641 1.654 0.000 0.453 0.000 4.139 14.397
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 78 75 0 131 0 88 503
normalized size 1 1.00 0.61 0.59 0.00 1.02 0.00 0.69 3.93
time (sec) N/A 0.327 1.242 1.639 0.000 0.436 0.000 2.737 7.990
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 66 65 0 105 0 60 384
normalized size 1 1.00 0.78 0.76 0.00 1.24 0.00 0.71 4.52
time (sec) N/A 0.208 0.782 1.576 0.000 0.442 0.000 3.403 6.139
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 55 55 0 84 0 34 93
normalized size 1 1.00 1.34 1.34 0.00 2.05 0.00 0.83 2.27
time (sec) N/A 0.097 0.441 1.805 0.000 0.446 0.000 2.825 5.725
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 123 173 145 0 343 0 0 -1
normalized size 1 1.05 1.48 1.24 0.00 2.93 0.00 0.00 -0.01
time (sec) N/A 0.213 0.929 1.751 0.000 0.533 0.000 0.000 0.000
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 113 124 184 144 0 372 0 0 -1
normalized size 1 1.10 1.63 1.27 0.00 3.29 0.00 0.00 -0.01
time (sec) N/A 0.228 1.530 1.701 0.000 0.518 0.000 0.000 0.000
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 117 130 359 230 0 429 0 0 -1
normalized size 1 1.11 3.07 1.97 0.00 3.67 0.00 0.00 -0.01
time (sec) N/A 0.238 2.630 1.898 0.000 0.557 0.000 0.000 0.000
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 164 164 398 402 0 517 0 0 -1
normalized size 1 1.00 2.43 2.45 0.00 3.15 0.00 0.00 -0.01
time (sec) N/A 0.282 5.897 2.463 0.000 0.582 0.000 0.000 0.000
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 171 171 88 85 0 163 0 113 710
normalized size 1 1.00 0.51 0.50 0.00 0.95 0.00 0.66 4.15
time (sec) N/A 0.444 2.540 1.955 0.000 0.472 0.000 4.903 14.671
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 78 75 0 147 0 88 607
normalized size 1 1.00 0.61 0.59 0.00 1.15 0.00 0.69 4.74
time (sec) N/A 0.323 1.562 1.835 0.000 0.430 0.000 3.834 13.711
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 66 65 0 119 0 60 471
normalized size 1 1.00 0.78 0.76 0.00 1.40 0.00 0.71 5.54
time (sec) N/A 0.209 1.111 1.805 0.000 0.432 0.000 3.134 9.194
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-1) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 55 55 0 97 0 34 375
normalized size 1 1.00 1.34 1.34 0.00 2.37 0.00 0.83 9.15
time (sec) N/A 0.096 0.709 1.980 0.000 0.423 0.000 3.023 5.616
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 164 164 185 206 0 377 0 0 -1
normalized size 1 1.00 1.13 1.26 0.00 2.30 0.00 0.00 -0.01
time (sec) N/A 0.325 1.535 1.908 0.000 0.512 0.000 0.000 0.000
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 324 157 0 432 0 0 -1
normalized size 1 1.00 1.93 0.93 0.00 2.57 0.00 0.00 -0.01
time (sec) N/A 0.336 3.099 1.731 0.000 0.540 0.000 0.000 0.000
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 174 174 263 206 0 441 0 0 -1
normalized size 1 1.00 1.51 1.18 0.00 2.53 0.00 0.00 -0.01
time (sec) N/A 0.352 4.574 1.884 0.000 0.581 0.000 0.000 0.000
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 142 142 86 83 163 88 0 112 164
normalized size 1 1.00 0.61 0.58 1.15 0.62 0.00 0.79 1.15
time (sec) N/A 0.234 0.738 1.759 0.691 0.445 0.000 2.665 6.331
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 74 73 137 77 0 87 125
normalized size 1 1.00 0.69 0.68 1.27 0.71 0.00 0.81 1.16
time (sec) N/A 0.191 0.435 1.886 0.638 0.430 0.000 2.507 4.229
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 54 63 110 50 0 62 77
normalized size 1 1.00 0.75 0.88 1.53 0.69 0.00 0.86 1.07
time (sec) N/A 0.153 0.245 1.851 0.858 0.428 0.000 2.730 2.367
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 29 43 84 45 0 0 40
normalized size 1 1.00 0.74 1.10 2.15 1.15 0.00 0.00 1.03
time (sec) N/A 0.107 0.137 2.123 0.747 0.441 0.000 0.000 1.770
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 155 107 0 269 0 0 -1
normalized size 1 1.00 1.74 1.20 0.00 3.02 0.00 0.00 -0.01
time (sec) N/A 0.157 0.479 2.161 0.000 0.512 0.000 0.000 0.000
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 122 122 183 266 0 329 0 0 -1
normalized size 1 1.00 1.50 2.18 0.00 2.70 0.00 0.00 -0.01
time (sec) N/A 0.211 1.417 2.135 0.000 0.512 0.000 0.000 0.000
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 156 156 306 471 0 401 0 0 -1
normalized size 1 1.00 1.96 3.02 0.00 2.57 0.00 0.00 -0.01
time (sec) N/A 0.255 2.933 2.317 0.000 0.552 0.000 0.000 0.000
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 155 155 84 85 188 103 0 125 188
normalized size 1 1.00 0.54 0.55 1.21 0.66 0.00 0.81 1.21
time (sec) N/A 0.317 0.940 1.633 0.495 0.430 0.000 3.378 6.017
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 123 123 68 75 163 82 0 102 136
normalized size 1 1.00 0.55 0.61 1.33 0.67 0.00 0.83 1.11
time (sec) N/A 0.274 0.394 1.667 0.615 0.451 0.000 2.768 5.542
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 60 53 110 72 0 62 134
normalized size 1 1.00 0.67 0.60 1.24 0.81 0.00 0.70 1.51
time (sec) N/A 0.219 0.260 1.658 0.674 0.449 0.000 3.681 5.233
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 55 53 109 60 0 0 94
normalized size 1 1.00 1.34 1.29 2.66 1.46 0.00 0.00 2.29
time (sec) N/A 0.100 0.153 1.848 0.717 0.495 0.000 0.000 5.295
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 138 259 131 0 331 0 0 -1
normalized size 1 1.00 1.88 0.95 0.00 2.40 0.00 0.00 -0.01
time (sec) N/A 0.271 2.080 1.825 0.000 0.535 0.000 0.000 0.000
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 365 320 0 369 0 0 -1
normalized size 1 1.00 2.16 1.89 0.00 2.18 0.00 0.00 -0.01
time (sec) N/A 0.343 1.392 1.990 0.000 0.533 0.000 0.000 0.000
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 203 434 551 0 487 0 0 -1
normalized size 1 1.00 2.14 2.71 0.00 2.40 0.00 0.00 -0.00
time (sec) N/A 0.389 2.334 2.027 0.000 0.572 0.000 0.000 0.000
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 169 169 78 85 214 109 0 130 492
normalized size 1 1.00 0.46 0.50 1.27 0.64 0.00 0.77 2.91
time (sec) N/A 0.402 0.633 1.812 0.439 0.430 0.000 4.465 10.238
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 74 65 189 104 0 93 456
normalized size 1 1.00 0.55 0.48 1.40 0.77 0.00 0.69 3.38
time (sec) N/A 0.348 0.346 1.820 0.442 0.446 0.000 3.154 7.312
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 60 63 163 88 0 60 446
normalized size 1 1.00 0.68 0.72 1.85 1.00 0.00 0.68 5.07
time (sec) N/A 0.222 0.319 1.815 0.436 0.452 0.000 3.489 7.719
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 55 55 136 74 0 0 441
normalized size 1 1.00 1.34 1.34 3.32 1.80 0.00 0.00 10.76
time (sec) N/A 0.102 0.154 1.906 0.440 0.446 0.000 0.000 7.590
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 181 181 225 155 0 401 0 0 -1
normalized size 1 1.00 1.24 0.86 0.00 2.22 0.00 0.00 -0.01
time (sec) N/A 0.394 1.533 2.054 0.000 0.538 0.000 0.000 0.000
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 398 370 0 483 0 0 -1
normalized size 1 1.00 1.88 1.75 0.00 2.28 0.00 0.00 -0.00
time (sec) N/A 0.477 6.467 2.016 0.000 0.533 0.000 0.000 0.000
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 246 246 468 631 0 461 0 0 -1
normalized size 1 1.00 1.90 2.57 0.00 1.87 0.00 0.00 -0.00
time (sec) N/A 0.532 6.663 2.198 0.000 0.616 0.000 0.000 0.000
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 87 82 638 93 0 0 136
normalized size 1 1.00 2.02 1.91 14.84 2.16 0.00 0.00 3.16
time (sec) N/A 0.133 0.466 1.965 0.832 0.427 0.000 0.000 3.800
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 73 72 298 78 0 0 78
normalized size 1 1.00 1.70 1.67 6.93 1.81 0.00 0.00 1.81
time (sec) N/A 0.133 0.306 1.976 0.779 0.422 0.000 0.000 2.637
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 56 62 55 56 0 0 47
normalized size 1 1.00 1.37 1.51 1.34 1.37 0.00 0.00 1.15
time (sec) N/A 0.120 0.170 1.949 0.848 0.451 0.000 0.000 1.942
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 99 141 92 0 0 0 -1
normalized size 1 1.00 1.94 2.76 1.80 0.00 0.00 0.00 -0.02
time (sec) N/A 0.125 0.839 2.019 0.899 0.555 0.000 0.000 0.000
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 62 60 514 79 0 0 118
normalized size 1 1.00 1.48 1.43 12.24 1.88 0.00 0.00 2.81
time (sec) N/A 0.139 0.247 2.050 1.327 0.462 0.000 0.000 2.996
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 69 70 758 106 0 0 203
normalized size 1 1.00 1.60 1.63 17.63 2.47 0.00 0.00 4.72
time (sec) N/A 0.137 0.390 2.117 1.224 0.437 0.000 0.000 6.610
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 108 103 1680 112 0 0 294
normalized size 1 1.00 1.21 1.16 18.88 1.26 0.00 0.00 3.30
time (sec) N/A 0.275 1.059 1.955 0.907 0.472 0.000 0.000 6.149
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 97 93 1105 112 0 0 195
normalized size 1 1.00 1.09 1.04 12.42 1.26 0.00 0.00 2.19
time (sec) N/A 0.276 0.586 2.441 0.856 0.449 0.000 0.000 5.499
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 78 83 550 82 0 0 108
normalized size 1 1.00 0.88 0.93 6.18 0.92 0.00 0.00 1.21
time (sec) N/A 0.274 0.427 2.172 0.993 0.432 0.000 0.000 3.145
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 73 73 56 76 0 0 76
normalized size 1 1.00 1.70 1.70 1.30 1.77 0.00 0.00 1.77
time (sec) N/A 0.130 0.277 2.072 0.773 0.430 0.000 0.000 2.587
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 174 161 275 0 0 0 -1
normalized size 1 1.00 1.83 1.69 2.89 0.00 0.00 0.00 -0.01
time (sec) N/A 0.264 1.416 2.061 1.026 0.672 0.000 0.000 0.000
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 99 99 134 246 122 0 0 0 -1
normalized size 1 1.00 1.35 2.48 1.23 0.00 0.00 0.00 -0.01
time (sec) N/A 0.275 0.695 1.894 0.742 0.857 0.000 0.000 0.000
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 63 73 533 95 0 0 165
normalized size 1 1.00 1.50 1.74 12.69 2.26 0.00 0.00 3.93
time (sec) N/A 0.149 0.482 1.936 0.976 0.442 0.000 0.000 4.830
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 80 83 1559 133 0 0 273
normalized size 1 1.00 0.91 0.94 17.72 1.51 0.00 0.00 3.10
time (sec) N/A 0.301 0.556 2.182 2.074 0.419 0.000 0.000 7.031
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 90 93 2608 158 0 0 340
normalized size 1 1.00 0.98 1.01 28.35 1.72 0.00 0.00 3.70
time (sec) N/A 0.285 0.828 2.130 7.889 0.454 0.000 0.000 7.620
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 100 103 3906 184 0 0 407
normalized size 1 1.00 1.09 1.12 42.46 2.00 0.00 0.00 4.42
time (sec) N/A 0.287 1.219 2.174 38.317 0.428 0.000 0.000 7.680
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 134 134 113 105 2454 152 0 0 307
normalized size 1 1.00 0.84 0.78 18.31 1.13 0.00 0.00 2.29
time (sec) N/A 0.421 1.298 2.427 0.606 0.476 0.000 0.000 6.234
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 134 134 92 95 1526 106 0 0 215
normalized size 1 1.00 0.69 0.71 11.39 0.79 0.00 0.00 1.60
time (sec) N/A 0.424 0.779 2.320 0.586 0.464 0.000 0.000 5.609
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 96 85 1106 112 0 0 195
normalized size 1 1.00 1.08 0.96 12.43 1.26 0.00 0.00 2.19
time (sec) N/A 0.275 0.594 2.184 0.560 0.437 0.000 0.000 5.442
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A B F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 88 75 58 93 0 0 136
normalized size 1 1.00 2.05 1.74 1.35 2.16 0.00 0.00 3.16
time (sec) N/A 0.128 0.468 2.299 0.457 0.444 0.000 0.000 3.610
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 141 328 189 737 0 0 0 -1
normalized size 1 1.00 2.33 1.34 5.23 0.00 0.00 0.00 -0.01
time (sec) N/A 0.405 6.604 2.470 0.592 0.770 0.000 0.000 0.000
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B B F F(-1) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 145 188 289 2035 0 0 0 -1
normalized size 1 1.00 1.30 1.99 14.03 0.00 0.00 0.00 -0.01
time (sec) N/A 0.420 1.496 2.196 0.738 0.970 0.000 0.000 0.000
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 145 182 364 169 0 0 0 -1
normalized size 1 1.00 1.26 2.51 1.17 0.00 0.00 0.00 -0.01
time (sec) N/A 0.431 1.343 2.293 0.453 1.279 0.000 0.000 0.000
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 76 75 1815 126 0 0 199
normalized size 1 1.00 1.81 1.79 43.21 3.00 0.00 0.00 4.74
time (sec) N/A 0.146 0.560 1.956 0.583 0.441 0.000 0.000 6.040
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B B F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 88 88 92 85 2719 166 0 0 350
normalized size 1 1.00 1.05 0.97 30.90 1.89 0.00 0.00 3.98
time (sec) N/A 0.298 0.827 1.990 4.434 0.447 0.000 0.000 6.785
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 102 95 4108 194 0 0 419
normalized size 1 1.00 0.77 0.71 30.89 1.46 0.00 0.00 3.15
time (sec) N/A 0.456 1.238 2.034 23.290 0.436 0.000 0.000 7.169
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 139 139 141 165 737 0 0 0 -1
normalized size 1 1.00 1.01 1.19 5.30 0.00 0.00 0.00 -0.01
time (sec) N/A 0.409 1.484 2.062 0.603 0.690 0.000 0.000 0.000
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 173 149 276 0 0 0 -1
normalized size 1 1.00 1.84 1.59 2.94 0.00 0.00 0.00 -0.01
time (sec) N/A 0.266 1.834 1.893 0.585 0.639 0.000 0.000 0.000
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 140 116 64 0 0 0 -1
normalized size 1 1.00 2.80 2.32 1.28 0.00 0.00 0.00 -0.02
time (sec) N/A 0.122 0.428 1.985 0.454 0.609 0.000 0.000 0.000
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 94 85 44 204 0 0 -1
normalized size 1 1.00 2.00 1.81 0.94 4.34 0.00 0.00 -0.02
time (sec) N/A 0.135 0.788 1.899 0.554 0.565 0.000 0.000 0.000
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 79 131 406 382 0 0 -1
normalized size 1 1.00 0.83 1.38 4.27 4.02 0.00 0.00 -0.01
time (sec) N/A 0.280 0.897 1.981 0.592 0.549 0.000 0.000 0.000
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 91 170 1201 456 0 0 -1
normalized size 1 1.00 0.65 1.21 8.58 3.26 0.00 0.00 -0.01
time (sec) N/A 0.430 0.829 2.284 0.659 0.551 0.000 0.000 0.000
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 142 142 183 235 2035 0 0 0 -1
normalized size 1 1.00 1.29 1.65 14.33 0.00 0.00 0.00 -0.01
time (sec) N/A 0.424 1.047 1.873 0.749 0.928 0.000 0.000 0.000
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A F F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 132 193 99 0 0 0 -1
normalized size 1 1.00 1.39 2.03 1.04 0.00 0.00 0.00 -0.01
time (sec) N/A 0.278 1.064 1.931 0.468 0.782 0.000 0.000 0.000
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 42 73 54 78 0 0 50
normalized size 1 1.00 1.00 1.74 1.29 1.86 0.00 0.00 1.19
time (sec) N/A 0.134 0.194 2.069 0.466 0.445 0.000 0.000 2.548
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 157 123 397 380 0 0 -1
normalized size 1 1.00 1.65 1.29 4.18 4.00 0.00 0.00 -0.01
time (sec) N/A 0.279 1.401 2.104 0.578 0.555 0.000 0.000 0.000
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 69 133 567 402 0 0 -1
normalized size 1 1.00 0.66 1.28 5.45 3.87 0.00 0.00 -0.01
time (sec) N/A 0.182 0.796 2.045 0.584 0.595 0.000 0.000 0.000
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 146 146 122 211 0 544 0 0 -1
normalized size 1 1.00 0.84 1.45 0.00 3.73 0.00 0.00 -0.01
time (sec) N/A 0.341 1.584 2.166 0.000 0.594 0.000 0.000 0.000
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A F F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 145 178 281 133 0 0 0 -1
normalized size 1 1.00 1.23 1.94 0.92 0.00 0.00 0.00 -0.01
time (sec) N/A 0.436 1.395 2.075 0.468 1.096 0.000 0.000 0.000
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 68 75 98 95 0 0 119
normalized size 1 1.00 1.62 1.79 2.33 2.26 0.00 0.00 2.83
time (sec) N/A 0.147 0.313 2.059 0.472 0.439 0.000 0.000 3.512
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 71 83 58 104 0 0 120
normalized size 1 1.00 1.65 1.93 1.35 2.42 0.00 0.00 2.79
time (sec) N/A 0.134 0.257 2.169 0.460 0.452 0.000 0.000 3.248
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 91 164 1191 456 0 0 -1
normalized size 1 1.00 0.65 1.17 8.51 3.26 0.00 0.00 -0.01
time (sec) N/A 0.424 1.040 2.261 0.640 0.561 0.000 0.000 0.000
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 146 146 130 204 0 536 0 0 -1
normalized size 1 1.00 0.89 1.40 0.00 3.67 0.00 0.00 -0.01
time (sec) N/A 0.344 1.392 2.211 0.000 0.582 0.000 0.000 0.000
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 160 160 84 173 1659 482 0 0 -1
normalized size 1 1.00 0.52 1.08 10.37 3.01 0.00 0.00 -0.01
time (sec) N/A 0.202 1.379 2.569 0.822 0.575 0.000 0.000 0.000
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 101 101 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.120 1.347 2.956 0.000 0.452 0.000 0.000 0.000
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 89 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.108 0.248 2.340 0.000 0.415 0.000 0.000 0.000
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 85 0 0 0 0 0 -1
normalized size 1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.078 0.158 1.759 0.000 0.445 0.000 0.000 0.000
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 90 90 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.112 0.569 1.677 0.000 0.460 0.000 0.000 0.000
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 92 92 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.115 2.591 1.974 0.000 0.452 0.000 0.000 0.000
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A A F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 160 160 0 0 228 191 0 0 -1
normalized size 1 1.00 0.00 0.00 1.42 1.19 0.00 0.00 -0.01
time (sec) N/A 0.380 15.646 1.766 0.477 0.448 0.000 0.000 0.000
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F A A F(-1) F B
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 100 100 0 0 171 112 0 0 154
normalized size 1 1.00 0.00 0.00 1.71 1.12 0.00 0.00 1.54
time (sec) N/A 0.222 38.436 1.634 0.465 0.437 0.000 0.000 3.592
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F B A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 163 0 114 70 0 0 -1
normalized size 1 1.00 3.54 0.00 2.48 1.52 0.00 0.00 -0.02
time (sec) N/A 0.102 18.895 1.861 0.462 0.473 0.000 0.000 0.000
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 69 69 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.129 0.653 1.676 0.000 0.476 0.000 0.000 0.000
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 74 74 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.139 0.713 1.588 0.000 0.455 0.000 0.000 0.000
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F(-2) F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 74 74 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.137 2.142 1.657 0.000 0.503 0.000 0.000 0.000
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F A A F(-1) F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 169 169 321 0 156 120 0 0 290
normalized size 1 1.00 1.90 0.00 0.92 0.71 0.00 0.00 1.72
time (sec) N/A 0.374 9.085 3.883 0.661 0.526 0.000 0.000 10.646
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F A A F(-1) F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 104 104 250 0 107 93 0 0 145
normalized size 1 1.00 2.40 0.00 1.03 0.89 0.00 0.00 1.39
time (sec) N/A 0.225 3.050 3.806 0.834 0.457 0.000 0.000 8.002
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F A A F(-1) F B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 47 47 208 0 62 72 0 0 105
normalized size 1 1.00 4.43 0.00 1.32 1.53 0.00 0.00 2.23
time (sec) N/A 0.101 1.178 3.817 0.597 0.487 0.000 0.000 2.909
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 257 0 0 0 0 0 -1
normalized size 1 1.00 2.54 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.129 1.420 2.547 0.000 0.439 0.000 0.000 0.000
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 99 99 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.143 2.262 3.685 0.000 0.466 0.000 0.000 0.000
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 101 101 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.154 2.708 3.990 0.000 0.448 0.000 0.000 0.000
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 68 130 172 131 0 0 175
normalized size 1 1.00 0.65 1.24 1.64 1.25 0.00 0.00 1.67
time (sec) N/A 0.193 0.299 1.400 0.459 0.431 0.000 0.000 6.320
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 57 107 160 117 0 0 146
normalized size 1 1.00 0.66 1.24 1.86 1.36 0.00 0.00 1.70
time (sec) N/A 0.156 0.179 1.369 0.476 0.464 0.000 0.000 4.923
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 36 36 35 51 16 15
normalized size 1 1.00 1.00 2.12 2.12 2.06 3.00 0.94 0.88
time (sec) N/A 0.071 0.018 0.937 0.555 0.426 2.303 1.389 1.704
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 154 104 194 105 0 0 71
normalized size 1 1.00 2.75 1.86 3.46 1.88 0.00 0.00 1.27
time (sec) N/A 0.108 0.619 0.583 0.413 0.438 0.000 0.000 1.745
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 335 81 144 123 0 0 44
normalized size 1 1.00 4.79 1.16 2.06 1.76 0.00 0.00 0.63
time (sec) N/A 0.161 0.456 0.712 0.607 0.466 0.000 0.000 1.686
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 86 86 43 37 115 78 0 39 35
normalized size 1 1.00 0.50 0.43 1.34 0.91 0.00 0.45 0.41
time (sec) N/A 0.163 0.173 0.757 0.512 0.404 0.000 0.817 1.700
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 140 140 7087 0 0 0 0 0 -1
normalized size 1 1.00 50.62 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.199 30.614 3.000 0.000 0.438 0.000 0.000 0.000
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 72 0 0 0 0 0 -1
normalized size 1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.089 0.334 2.615 0.000 0.444 0.000 0.000 0.000
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F F F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 180 180 3396 0 0 0 0 0 -1
normalized size 1 1.00 18.87 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.232 16.808 4.055 0.000 0.486 0.000 0.000 0.000
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F(-2) F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 226 226 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.413 13.329 2.516 0.000 0.462 0.000 0.000 0.000
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 104 143 162 236 979 340 0 0 -1
normalized size 1 1.38 1.56 2.27 9.41 3.27 0.00 0.00 -0.01
time (sec) N/A 0.278 1.534 2.293 1.224 0.583 0.000 0.000 0.000
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 81 116 73 204 0 260 0 0 -1
normalized size 1 1.43 0.90 2.52 0.00 3.21 0.00 0.00 -0.01
time (sec) N/A 0.232 0.471 1.684 0.000 0.519 0.000 0.000 0.000
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 140 213 724 317 1310 462 0 0 -1
normalized size 1 1.52 5.17 2.26 9.36 3.30 0.00 0.00 -0.01
time (sec) N/A 0.281 6.465 2.876 1.058 0.507 0.000 0.000 0.000
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 116 150 236 152 536 330 0 0 -1
normalized size 1 1.29 2.03 1.31 4.62 2.84 0.00 0.00 -0.01
time (sec) N/A 0.303 2.982 2.698 1.094 0.447 0.000 0.000 0.000
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 179 242 328 294 1400 569 0 0 -1
normalized size 1 1.35 1.83 1.64 7.82 3.18 0.00 0.00 -0.01
time (sec) N/A 0.358 2.285 2.954 1.216 0.601 0.000 0.000 0.000
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B A B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 46 46 94 142 56 255 0 0 -1
normalized size 1 1.00 2.04 3.09 1.22 5.54 0.00 0.00 -0.02
time (sec) N/A 0.255 0.777 1.977 1.090 0.551 0.000 0.000 0.000
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 98 414 0 357 0 0 -1
normalized size 1 1.00 1.51 6.37 0.00 5.49 0.00 0.00 -0.02
time (sec) N/A 0.159 0.264 1.664 0.000 0.694 0.000 0.000 0.000
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 236 236 153 431 379 281 0 0 361
normalized size 1 1.00 0.65 1.83 1.61 1.19 0.00 0.00 1.53
time (sec) N/A 0.437 1.742 1.614 0.382 0.442 0.000 0.000 5.508
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 171 171 103 290 266 211 0 0 255
normalized size 1 1.00 0.60 1.70 1.56 1.23 0.00 0.00 1.49
time (sec) N/A 0.295 0.681 1.329 0.620 0.475 0.000 0.000 5.337
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 108 108 75 174 165 150 0 0 196
normalized size 1 1.00 0.69 1.61 1.53 1.39 0.00 0.00 1.81
time (sec) N/A 0.165 0.432 1.111 0.470 0.480 0.000 0.000 4.761
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 75 86 88 96 0 0 111
normalized size 1 1.00 1.34 1.54 1.57 1.71 0.00 0.00 1.98
time (sec) N/A 0.072 0.030 0.961 0.385 0.460 0.000 0.000 2.572
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 107 135 0 255 0 0 195
normalized size 1 1.00 1.55 1.96 0.00 3.70 0.00 0.00 2.83
time (sec) N/A 0.144 0.191 0.703 0.000 0.534 0.000 0.000 2.159
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 75 105 0 357 0 143 85
normalized size 1 1.00 0.95 1.33 0.00 4.52 0.00 1.81 1.08
time (sec) N/A 0.139 0.229 0.717 0.000 0.469 0.000 0.343 1.914
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 167 178 0 736 0 274 171
normalized size 1 1.00 1.27 1.36 0.00 5.62 0.00 2.09 1.31
time (sec) N/A 0.270 1.243 0.745 0.000 0.517 0.000 0.419 3.776
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 189 189 247 271 0 1278 0 468 321
normalized size 1 1.00 1.31 1.43 0.00 6.76 0.00 2.48 1.70
time (sec) N/A 0.454 3.353 0.779 0.000 0.537 0.000 0.386 5.283
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 327 371 460 602 683 387 0 0 484
normalized size 1 1.13 1.41 1.84 2.09 1.18 0.00 0.00 1.48
time (sec) N/A 0.424 2.034 1.964 0.475 0.466 0.000 0.000 5.354
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 242 277 326 420 469 294 0 0 394
normalized size 1 1.14 1.35 1.74 1.94 1.21 0.00 0.00 1.63
time (sec) N/A 0.343 1.395 1.624 0.407 0.454 0.000 0.000 5.485
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 176 234 479 268 324 209 0 0 237
normalized size 1 1.33 2.72 1.52 1.84 1.19 0.00 0.00 1.35
time (sec) N/A 0.262 0.998 1.420 0.628 0.450 0.000 0.000 5.464
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 481 141 167 138 0 0 161
normalized size 1 1.00 4.67 1.37 1.62 1.34 0.00 0.00 1.56
time (sec) N/A 0.117 6.362 1.156 0.531 0.422 0.000 0.000 4.525
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A B C B F(-2) A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 208 329 291 0 398 0 0 529
normalized size 1 2.19 3.46 3.06 0.00 4.19 0.00 0.00 5.57
time (sec) N/A 0.245 2.019 0.622 0.000 0.634 0.000 0.000 2.587
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 231 312 330 0 567 0 0 2563
normalized size 1 1.97 2.67 2.82 0.00 4.85 0.00 0.00 21.91
time (sec) N/A 0.257 1.505 0.821 0.000 0.673 0.000 0.000 4.790
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 130 184 249 167 0 622 0 220 158
normalized size 1 1.42 1.92 1.28 0.00 4.78 0.00 1.69 1.22
time (sec) N/A 0.197 1.245 0.772 0.000 0.505 0.000 3.136 3.574
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 213 268 211 228 0 1234 0 420 286
normalized size 1 1.26 0.99 1.07 0.00 5.79 0.00 1.97 1.34
time (sec) N/A 0.283 4.780 0.826 0.000 0.548 0.000 1.106 5.092
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 276 330 322 352 0 1908 0 739 438
normalized size 1 1.20 1.17 1.28 0.00 6.91 0.00 2.68 1.59
time (sec) N/A 0.557 9.059 0.921 0.000 0.589 0.000 0.650 5.237
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 288 333 380 523 701 337 0 0 411
normalized size 1 1.16 1.32 1.82 2.43 1.17 0.00 0.00 1.43
time (sec) N/A 0.427 2.694 1.950 0.577 0.459 0.000 0.000 5.238
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 257 273 433 342 459 245 0 0 287
normalized size 1 1.06 1.68 1.33 1.79 0.95 0.00 0.00 1.12
time (sec) N/A 0.300 2.692 1.721 0.433 0.470 0.000 0.000 5.518
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 273 188 262 161 0 0 203
normalized size 1 1.00 2.18 1.50 2.10 1.29 0.00 0.00 1.62
time (sec) N/A 0.153 1.368 1.390 0.417 0.434 0.000 0.000 5.307
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 153 257 419 491 0 532 0 0 1902
normalized size 1 1.68 2.74 3.21 0.00 3.48 0.00 0.00 12.43
time (sec) N/A 0.325 2.414 0.666 0.000 0.893 0.000 0.000 2.892
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 161 274 455 548 0 859 0 0 3135
normalized size 1 1.70 2.83 3.40 0.00 5.34 0.00 0.00 19.47
time (sec) N/A 0.355 4.214 0.695 0.000 0.924 0.000 0.000 5.274
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 188 301 393 768 0 1176 0 0 4131
normalized size 1 1.60 2.09 4.09 0.00 6.26 0.00 0.00 21.97
time (sec) N/A 0.394 3.667 0.872 0.000 0.950 0.000 0.000 8.500
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 178 227 398 227 0 1012 0 320 264
normalized size 1 1.28 2.24 1.28 0.00 5.69 0.00 1.80 1.48
time (sec) N/A 0.223 3.577 0.960 0.000 0.558 0.000 0.525 4.985
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 266 327 274 303 0 1714 0 626 385
normalized size 1 1.23 1.03 1.14 0.00 6.44 0.00 2.35 1.45
time (sec) N/A 0.337 9.191 1.005 0.000 0.582 0.000 1.702 5.081
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 183 236 1243 596 596 297 0 0 211
normalized size 1 1.29 6.79 3.26 3.26 1.62 0.00 0.00 1.15
time (sec) N/A 0.335 6.459 0.672 0.462 0.477 0.000 0.000 2.451
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 171 275 371 388 216 0 0 139
normalized size 1 1.46 2.35 3.17 3.32 1.85 0.00 0.00 1.19
time (sec) N/A 0.254 2.658 0.680 0.529 0.449 0.000 0.000 1.938
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 125 237 196 223 155 0 0 85
normalized size 1 1.84 3.49 2.88 3.28 2.28 0.00 0.00 1.25
time (sec) N/A 0.146 1.735 0.639 0.445 0.444 0.000 0.000 1.824
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 109 78 99 74 0 0 41
normalized size 1 1.00 2.53 1.81 2.30 1.72 0.00 0.00 0.95
time (sec) N/A 0.085 0.266 0.744 0.382 0.477 0.000 0.000 1.727
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 134 160 74 0 353 0 114 110
normalized size 1 1.61 1.93 0.89 0.00 4.25 0.00 1.37 1.33
time (sec) N/A 0.155 0.668 0.686 0.000 0.484 0.000 0.520 1.947
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 196 286 146 0 691 0 228 187
normalized size 1 1.35 1.97 1.01 0.00 4.77 0.00 1.57 1.29
time (sec) N/A 0.253 3.248 0.787 0.000 0.485 0.000 0.301 2.036
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) B F A B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 207 268 1422 221 0 1331 0 374 379
normalized size 1 1.29 6.87 1.07 0.00 6.43 0.00 1.81 1.83
time (sec) N/A 0.400 6.823 1.006 0.000 0.774 0.000 0.716 2.975
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 258 315 446 766 772 456 0 0 268
normalized size 1 1.22 1.73 2.97 2.99 1.77 0.00 0.00 1.04
time (sec) N/A 0.438 4.028 1.023 0.364 0.502 0.000 0.000 1.973
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 193 249 310 514 536 361 0 0 193
normalized size 1 1.29 1.61 2.66 2.78 1.87 0.00 0.00 1.00
time (sec) N/A 0.320 2.827 0.840 0.365 0.461 0.000 0.000 1.912
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 193 294 316 342 268 0 0 136
normalized size 1 1.45 2.21 2.38 2.57 2.02 0.00 0.00 1.02
time (sec) N/A 0.233 1.703 0.679 0.350 0.471 0.000 0.000 1.880
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 149 181 170 195 155 0 0 89
normalized size 1 1.67 2.03 1.91 2.19 1.74 0.00 0.00 1.00
time (sec) N/A 0.154 0.785 0.767 0.342 0.457 0.000 0.000 1.771
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 76 60 93 58 0 64 45
normalized size 1 1.00 1.17 0.92 1.43 0.89 0.00 0.98 0.69
time (sec) N/A 0.087 0.222 0.724 0.349 0.450 0.000 0.288 1.714
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 129 183 209 122 0 598 0 258 168
normalized size 1 1.42 1.62 0.95 0.00 4.64 0.00 2.00 1.30
time (sec) N/A 0.241 1.649 0.742 0.000 0.481 0.000 0.591 1.915
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 211 260 376 203 0 1242 0 490 314
normalized size 1 1.23 1.78 0.96 0.00 5.89 0.00 2.32 1.49
time (sec) N/A 0.373 3.962 0.796 0.000 0.530 0.000 0.392 2.181
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) B F B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 284 346 2220 280 0 2030 0 776 505
normalized size 1 1.22 7.82 0.99 0.00 7.15 0.00 2.73 1.78
time (sec) N/A 0.558 7.347 0.954 0.000 0.609 0.000 0.530 2.282
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 363 405 1338 956 946 620 0 0 327
normalized size 1 1.12 3.69 2.63 2.61 1.71 0.00 0.00 0.90
time (sec) N/A 0.539 6.719 0.835 0.393 0.501 0.000 0.000 1.908
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 287 329 439 679 689 502 0 0 252
normalized size 1 1.15 1.53 2.37 2.40 1.75 0.00 0.00 0.88
time (sec) N/A 0.416 2.231 0.792 0.371 0.481 0.000 0.000 1.865
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 205 265 292 454 475 385 0 0 195
normalized size 1 1.29 1.42 2.21 2.32 1.88 0.00 0.00 0.95
time (sec) N/A 0.280 2.393 0.707 0.365 0.458 0.000 0.000 1.816
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B B A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 193 295 286 307 248 0 0 147
normalized size 1 1.45 2.22 2.15 2.31 1.86 0.00 0.00 1.11
time (sec) N/A 0.201 1.480 0.835 0.344 0.498 0.000 0.000 1.799
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 180 128 184 113 0 137 79
normalized size 1 1.00 1.57 1.11 1.60 0.98 0.00 1.19 0.69
time (sec) N/A 0.163 0.480 0.834 0.346 0.421 0.000 0.349 1.833
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 135 64 115 93 0 80 66
normalized size 1 1.00 1.32 0.63 1.13 0.91 0.00 0.78 0.65
time (sec) N/A 0.115 0.340 0.731 0.334 0.446 0.000 1.391 1.738
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 181 235 345 203 0 1001 0 489 228
normalized size 1 1.30 1.91 1.12 0.00 5.53 0.00 2.70 1.26
time (sec) N/A 0.323 3.025 0.873 0.000 0.512 0.000 1.074 1.950
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) B F B B
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 288 325 1772 284 0 1693 0 951 464
normalized size 1 1.13 6.15 0.99 0.00 5.88 0.00 3.30 1.61
time (sec) N/A 0.486 7.094 0.936 0.000 0.539 0.000 0.966 2.120
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 368 414 1096 365 0 2677 0 1419 655
normalized size 1 1.12 2.98 0.99 0.00 7.27 0.00 3.86 1.78
time (sec) N/A 0.706 7.828 0.970 0.000 0.616 0.000 0.616 2.359
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 102 301 0 307 0 0 -1
normalized size 1 1.00 1.67 4.93 0.00 5.03 0.00 0.00 -0.02
time (sec) N/A 0.155 0.234 2.194 0.000 0.674 0.000 0.000 0.000
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 187 503 0 1048 0 0 -1
normalized size 1 1.00 1.34 3.59 0.00 7.49 0.00 0.00 -0.01
time (sec) N/A 0.462 17.020 1.993 0.000 0.775 0.000 0.000 0.000
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 107 170 0 246 0 0 -1
normalized size 1 1.00 1.37 2.18 0.00 3.15 0.00 0.00 -0.01
time (sec) N/A 0.157 0.221 1.952 0.000 0.541 0.000 0.000 0.000
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 141 141 171 403 0 1100 0 0 -1
normalized size 1 1.00 1.21 2.86 0.00 7.80 0.00 0.00 -0.01
time (sec) N/A 0.529 0.278 2.033 0.000 0.812 0.000 0.000 0.000
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F B F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 94 433 0 343 0 0 -1
normalized size 1 1.00 1.54 7.10 0.00 5.62 0.00 0.00 -0.02
time (sec) N/A 0.136 0.226 1.498 0.000 0.675 0.000 0.000 0.000
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F(-2) A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 149 149 427 566 0 1126 0 0 -1
normalized size 1 1.00 2.87 3.80 0.00 7.56 0.00 0.00 -0.01
time (sec) N/A 0.570 1.369 2.168 0.000 7.934 0.000 0.000 0.000
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C B F A F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 122 122 229015 520 0 963 0 0 -1
normalized size 1 1.00 1877.17 4.26 0.00 7.89 0.00 0.00 -0.01
time (sec) N/A 0.301 33.712 1.477 0.000 0.780 0.000 0.000 0.000
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 124 124 141 520 0 1041 0 0 -1
normalized size 1 1.00 1.14 4.19 0.00 8.40 0.00 0.00 -0.01
time (sec) N/A 0.368 0.408 1.426 0.000 0.870 0.000 0.000 0.000
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 198 472 0 1103 0 0 -1
normalized size 1 1.00 1.19 2.83 0.00 6.60 0.00 0.00 -0.01
time (sec) N/A 0.583 0.395 2.219 0.000 1.262 0.000 0.000 0.000
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-1) A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 231 231 155 725 0 1597 0 0 -1
normalized size 1 1.00 0.67 3.14 0.00 6.91 0.00 0.00 -0.00
time (sec) N/A 0.816 0.382 2.198 0.000 89.926 0.000 0.000 0.000
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 250 250 201 431 379 281 0 0 555
normalized size 1 1.00 0.80 1.72 1.52 1.12 0.00 0.00 2.22
time (sec) N/A 0.501 4.479 1.688 0.921 0.469 0.000 0.000 5.553
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 180 180 143 290 266 211 0 0 395
normalized size 1 1.00 0.79 1.61 1.48 1.17 0.00 0.00 2.19
time (sec) N/A 0.356 1.110 1.372 0.336 0.455 0.000 0.000 5.494
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 88 174 165 150 0 0 227
normalized size 1 1.00 0.77 1.51 1.43 1.30 0.00 0.00 1.97
time (sec) N/A 0.185 0.608 1.120 0.333 0.474 0.000 0.000 5.208
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 75 86 88 96 0 0 104
normalized size 1 1.00 1.23 1.41 1.44 1.57 0.00 0.00 1.70
time (sec) N/A 0.075 0.025 0.917 0.326 0.464 0.000 0.000 2.789
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 112 135 0 316 0 0 573
normalized size 1 1.00 1.47 1.78 0.00 4.16 0.00 0.00 7.54
time (sec) N/A 0.129 0.212 0.591 0.000 1.080 0.000 0.000 2.730
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 99 99 97 132 0 389 0 179 106
normalized size 1 1.00 0.98 1.33 0.00 3.93 0.00 1.81 1.07
time (sec) N/A 0.144 0.387 0.657 0.000 0.492 0.000 0.664 2.122
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 166 166 172 236 0 752 0 418 250
normalized size 1 1.00 1.04 1.42 0.00 4.53 0.00 2.52 1.51
time (sec) N/A 0.301 0.981 0.594 0.000 0.544 0.000 1.949 4.987
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 237 237 405 376 0 1238 0 726 439
normalized size 1 1.00 1.71 1.59 0.00 5.22 0.00 3.06 1.85
time (sec) N/A 0.512 1.082 0.760 0.000 0.566 0.000 0.400 6.395
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F(-2) B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 247 247 580 1066 0 1093 0 0 9987
normalized size 1 1.00 2.35 4.32 0.00 4.43 0.00 0.00 40.43
time (sec) N/A 0.445 4.695 0.898 0.000 172.776 0.000 0.000 11.315
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F(-2) B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 170 170 389 593 0 779 0 0 6730
normalized size 1 1.00 2.29 3.49 0.00 4.58 0.00 0.00 39.59
time (sec) N/A 0.350 1.474 0.671 0.000 37.602 0.000 0.000 9.661
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 135 288 0 518 0 0 3559
normalized size 1 1.00 1.31 2.80 0.00 5.03 0.00 0.00 34.55
time (sec) N/A 0.297 0.827 0.643 0.000 5.651 0.000 0.000 7.316
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 112 135 0 309 0 0 571
normalized size 1 1.00 1.47 1.78 0.00 4.07 0.00 0.00 7.51
time (sec) N/A 0.127 0.183 0.660 0.000 0.968 0.000 0.000 2.810
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 119 108 0 1040 0 526 2665
normalized size 1 1.00 0.98 0.89 0.00 8.60 0.00 4.35 22.02
time (sec) N/A 0.275 0.254 0.632 0.000 2.953 0.000 1.449 4.358
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 187 187 229 208 0 2863 0 340 20827
normalized size 1 1.00 1.22 1.11 0.00 15.31 0.00 1.82 111.37
time (sec) N/A 0.612 0.720 0.713 0.000 167.792 0.000 2.504 15.423
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B B F(-2) F(-1) F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 379 379 1137 1870 0 0 0 0 17256
normalized size 1 1.00 3.00 4.93 0.00 0.00 0.00 0.00 45.53
time (sec) N/A 0.668 6.547 0.765 0.000 0.000 0.000 0.000 16.949
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) F(-1) F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 297 297 511 1249 0 0 0 0 12483
normalized size 1 1.00 1.72 4.21 0.00 0.00 0.00 0.00 42.03
time (sec) N/A 0.527 4.120 0.677 0.000 0.000 0.000 0.000 14.374
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 228 228 362 790 0 1326 0 0 7958
normalized size 1 1.00 1.59 3.46 0.00 5.82 0.00 0.00 34.90
time (sec) N/A 0.467 1.804 0.601 0.000 96.704 0.000 0.000 11.297
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F(-2) B F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 198 198 180 486 0 798 0 0 4926
normalized size 1 1.00 0.91 2.45 0.00 4.03 0.00 0.00 24.88
time (sec) N/A 0.367 0.721 0.844 0.000 9.541 0.000 0.000 9.749
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 97 132 0 394 0 180 106
normalized size 1 1.00 0.97 1.32 0.00 3.94 0.00 1.80 1.06
time (sec) N/A 0.136 0.398 0.628 0.000 0.507 0.000 1.574 2.199
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 186 186 176 210 0 2852 0 339 20827
normalized size 1 1.00 0.95 1.13 0.00 15.33 0.00 1.82 111.97
time (sec) N/A 0.605 1.058 0.719 0.000 108.508 0.000 0.409 15.563
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 213 213 183 355 0 0 0 0 -1
normalized size 1 1.00 0.86 1.67 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.293 3.848 1.671 0.000 0.000 0.000 0.000 0.000
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 196 196 44216 351 0 0 0 0 -1
normalized size 1 1.00 225.59 1.79 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.193 32.591 2.396 0.000 0.000 0.000 0.000 0.000
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 192 192 233 219 0 0 0 0 -1
normalized size 1 1.00 1.21 1.14 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.168 3.597 2.087 0.000 1.731 0.000 0.000 0.000
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 176 177 0 0 0 0 -1
normalized size 1 1.00 1.60 1.61 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.124 1.791 2.251 0.000 0.824 0.000 0.000 0.000
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 176 170 0 0 0 0 -1
normalized size 1 1.00 1.41 1.36 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.120 0.466 2.066 0.000 0.921 0.000 0.000 0.000
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F(-1) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 396 396 39039 291 0 0 0 0 -1
normalized size 1 1.00 98.58 0.73 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.611 32.477 2.166 0.000 0.000 0.000 0.000 0.000
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 170 170 223 465 0 0 0 0 -1
normalized size 1 1.00 1.31 2.74 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.849 4.016 2.235 0.000 0.000 0.000 0.000 0.000
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 83 236 0 0 0 0 -1
normalized size 1 1.00 1.00 2.84 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.433 0.233 2.154 0.000 0.000 0.000 0.000 0.000
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 222 479 0 0 0 0 -1
normalized size 1 1.00 1.32 2.85 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 1.070 3.892 2.233 0.000 0.000 0.000 0.000 0.000
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 264 153 0 0 0 0 -1
normalized size 1 1.00 2.78 1.61 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.119 5.752 1.967 0.000 0.945 0.000 0.000 0.000
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F C F F(-1) F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 295 295 0 292 0 0 0 0 -1
normalized size 1 1.00 0.00 0.99 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.922 20.052 2.220 0.000 0.000 0.000 0.000 0.000
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 209 209 375 225 0 0 0 0 -1
normalized size 1 1.00 1.79 1.08 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.288 14.702 2.008 0.000 0.693 0.000 0.000 0.000
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 214 214 156 224 0 0 0 0 -1
normalized size 1 1.00 0.73 1.05 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.360 5.315 1.897 0.000 0.879 0.000 0.000 0.000
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 229 229 1019 222 0 0 0 0 -1
normalized size 1 1.00 4.45 0.97 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.440 8.458 2.308 0.000 0.689 0.000 0.000 0.000
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F C F(-1) F(-1) F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 312 312 0 355 0 0 0 0 -1
normalized size 1 1.00 0.00 1.14 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.889 15.551 2.497 0.000 0.000 0.000 0.000 0.000
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 213 213 183 355 0 0 0 0 -1
normalized size 1 1.00 0.86 1.67 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.277 0.396 1.621 0.000 0.000 0.000 0.000 0.000
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 170 170 223 465 0 0 0 0 -1
normalized size 1 1.00 1.31 2.74 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.843 3.985 2.031 0.000 0.000 0.000 0.000 0.000
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 187 238 0 0 0 0 -1
normalized size 1 1.00 1.83 2.33 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.122 4.210 1.806 0.000 0.000 0.000 0.000 0.000
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 209 209 165 236 0 0 0 0 -1
normalized size 1 1.00 0.79 1.13 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.361 3.061 1.786 0.000 0.000 0.000 0.000 0.000
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A C F F(-1) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 83 238 0 0 0 0 -1
normalized size 1 1.00 1.00 2.87 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.424 0.286 2.082 0.000 0.000 0.000 0.000 0.000
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C C F F(-1) F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 166 166 246 346 0 0 0 0 -1
normalized size 1 1.00 1.48 2.08 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.856 4.122 2.135 0.000 0.000 0.000 0.000 0.000
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A B A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 151 49 68 121 0 50 47
normalized size 1 1.00 2.25 0.73 1.01 1.81 0.00 0.75 0.70
time (sec) N/A 0.298 0.965 1.037 0.334 1.183 0.000 3.487 1.934
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 175 62 88 146 0 64 60
normalized size 1 1.00 1.97 0.70 0.99 1.64 0.00 0.72 0.67
time (sec) N/A 0.336 1.119 1.197 0.341 0.891 0.000 10.614 2.429

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [258] had the largest ratio of [.3226]

Table 2.1:Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)
1 A 12 7 1.00 30 0.233
2 A 9 6 1.00 30 0.200
3 A 6 5 1.00 30 0.167
4 A 3 3 1.00 28 0.107
5 A 2 2 1.00 30 0.067
6 A 1 1 1.00 30 0.033
7 A 2 2 1.00 30 0.067
8 A 3 2 1.00 30 0.067
9 A 4 2 1.00 30 0.067
10 A 14 7 1.00 32 0.219
11 A 11 6 1.00 32 0.188
12 A 7 5 1.00 32 0.156
13 A 4 3 1.00 32 0.094
14 A 6 5 1.00 30 0.167
15 A 5 5 1.00 32 0.156
16 A 3 2 1.00 32 0.062
17 A 1 1 1.00 32 0.031
18 A 2 2 1.00 32 0.062
19 A 3 2 1.00 32 0.062
20 A 4 2 1.00 32 0.062
21 A 16 7 1.00 32 0.219
22 A 13 6 1.00 32 0.188
23 A 8 5 1.00 32 0.156
24 A 5 3 1.00 32 0.094
25 A 7 5 1.00 32 0.156
26 A 9 6 1.00 30 0.200
27 A 6 6 1.00 32 0.188
28 A 6 5 1.00 32 0.156
29 A 4 2 1.00 32 0.062
30 A 1 1 1.00 32 0.031
31 A 2 2 1.00 32 0.062
32 A 3 2 1.00 32 0.062
33 A 4 2 1.00 32 0.062
34 A 10 6 1.00 32 0.188
35 A 6 6 1.00 32 0.188
36 A 5 5 1.00 32 0.156
37 A 2 2 1.00 30 0.067
38 A 3 3 1.00 32 0.094
39 A 6 4 1.00 32 0.125
40 A 10 6 1.00 32 0.188
41 A 13 7 1.00 32 0.219
42 A 11 6 1.00 32 0.188
43 A 7 6 1.00 32 0.188
44 A 6 5 1.00 32 0.156
45 A 3 2 1.00 32 0.062
46 A 1 1 1.00 30 0.033
47 A 6 4 1.00 32 0.125
48 A 3 2 1.00 32 0.062
49 A 7 5 1.00 32 0.156
50 A 10 6 1.00 32 0.188
51 A 13 7 1.00 32 0.219
52 A 12 6 1.00 32 0.188
53 A 8 6 1.00 32 0.188
54 A 7 5 1.00 32 0.156
55 A 4 2 1.00 32 0.062
56 A 1 1 1.00 32 0.031
57 A 2 2 1.00 30 0.067
58 A 10 6 1.00 32 0.188
59 A 7 5 1.00 32 0.156
60 A 4 3 1.00 32 0.094
61 A 7 5 1.00 32 0.156
62 A 10 6 1.00 32 0.188
63 A 13 7 1.00 32 0.219
64 A 4 2 1.00 32 0.062
65 A 3 2 1.00 32 0.062
66 A 2 2 1.00 32 0.062
67 A 1 1 1.00 32 0.031
68 A 3 3 1.00 32 0.094
69 A 3 3 1.00 32 0.094
70 A 4 4 1.00 32 0.125
71 A 4 2 1.00 34 0.059
72 A 3 2 1.00 34 0.059
73 A 2 2 1.00 34 0.059
74 A 1 1 1.00 34 0.029
75 A 4 3 1.05 34 0.088
76 A 4 4 1.10 34 0.118
77 A 4 3 1.11 34 0.088
78 A 5 4 1.00 34 0.118
79 A 4 2 1.00 34 0.059
80 A 3 2 1.00 34 0.059
81 A 2 2 1.00 34 0.059
82 A 1 1 1.00 34 0.029
83 A 5 3 1.00 34 0.088
84 A 5 4 1.00 34 0.118
85 A 5 4 1.00 34 0.118
86 A 4 3 1.00 34 0.088
87 A 3 3 1.00 34 0.088
88 A 2 2 1.00 34 0.059
89 A 1 1 1.00 34 0.029
90 A 3 3 1.00 34 0.088
91 A 4 4 1.00 34 0.118
92 A 5 4 1.00 34 0.118
93 A 4 3 1.00 34 0.088
94 A 3 2 1.00 34 0.059
95 A 2 2 1.00 34 0.059
96 A 1 1 1.00 34 0.029
97 A 4 3 1.00 34 0.088
98 A 5 4 1.00 34 0.118
99 A 6 4 1.00 34 0.118
100 A 4 2 1.00 34 0.059
101 A 3 2 1.00 34 0.059
102 A 2 2 1.00 34 0.059
103 A 1 1 1.00 34 0.029
104 A 5 3 1.00 34 0.088
105 A 6 4 1.00 34 0.118
106 A 7 4 1.00 34 0.118
107 A 1 1 1.00 36 0.028
108 A 1 1 1.00 36 0.028
109 A 1 1 1.00 36 0.028
110 A 1 1 1.00 36 0.028
111 A 1 1 1.00 36 0.028
112 A 1 1 1.00 36 0.028
113 A 2 2 1.00 36 0.056
114 A 2 2 1.00 36 0.056
115 A 2 2 1.00 36 0.056
116 A 1 1 1.00 36 0.028
117 A 2 2 1.00 36 0.056
118 A 2 2 1.00 36 0.056
119 A 1 1 1.00 36 0.028
120 A 2 2 1.00 36 0.056
121 A 2 2 1.00 36 0.056
122 A 2 2 1.00 36 0.056
123 A 3 2 1.00 36 0.056
124 A 3 2 1.00 36 0.056
125 A 2 2 1.00 36 0.056
126 A 1 1 1.00 36 0.028
127 A 3 2 1.00 36 0.056
128 A 3 3 1.00 36 0.083
129 A 3 2 1.00 36 0.056
130 A 1 1 1.00 36 0.028
131 A 2 2 1.00 36 0.056
132 A 3 2 1.00 36 0.056
133 A 3 2 1.00 36 0.056
134 A 2 2 1.00 36 0.056
135 A 1 1 1.00 36 0.028
136 A 2 2 1.00 36 0.056
137 A 3 3 1.00 36 0.083
138 A 4 3 1.00 36 0.083
139 A 3 3 1.00 36 0.083
140 A 2 2 1.00 36 0.056
141 A 1 1 1.00 36 0.028
142 A 3 3 1.00 36 0.083
143 A 3 3 1.00 36 0.083
144 A 4 4 1.00 36 0.111
145 A 3 2 1.00 36 0.056
146 A 1 1 1.00 36 0.028
147 A 1 1 1.00 36 0.028
148 A 4 3 1.00 36 0.083
149 A 4 4 1.00 36 0.111
150 A 4 3 1.00 36 0.083
151 A 3 3 1.00 32 0.094
152 A 3 3 1.00 32 0.094
153 A 3 3 1.00 30 0.100
154 A 3 3 1.00 32 0.094
155 A 3 3 1.00 32 0.094
156 A 3 2 1.00 34 0.059
157 A 2 2 1.00 34 0.059
158 A 1 1 1.00 34 0.029
159 A 2 2 1.00 34 0.059
160 A 2 2 1.00 34 0.059
161 A 2 2 1.00 34 0.059
162 A 3 2 1.00 36 0.056
163 A 2 2 1.00 36 0.056
164 A 1 1 1.00 36 0.028
165 A 3 3 1.00 34 0.088
166 A 3 3 1.00 36 0.083
167 A 3 3 1.00 36 0.083
168 A 10 7 1.00 32 0.219
169 A 7 6 1.00 32 0.188
170 A 3 3 1.00 30 0.100
171 A 5 5 1.00 32 0.156
172 A 4 4 1.00 32 0.125
173 A 3 3 1.00 32 0.094
174 A 5 3 1.00 34 0.088
175 A 2 2 1.00 32 0.062
176 A 6 4 1.00 34 0.118
177 A 7 4 1.00 34 0.118
178 A 5 5 1.38 40 0.125
179 A 4 4 1.43 36 0.111
180 A 8 8 1.52 38 0.210
181 A 4 4 1.29 40 0.100
182 A 8 8 1.35 40 0.200
183 A 3 3 1.00 38 0.079
184 A 2 2 1.00 34 0.059
185 A 8 6 1.00 29 0.207
186 A 7 6 1.00 29 0.207
187 A 6 6 1.00 29 0.207
188 A 5 5 1.00 27 0.185
189 A 5 5 1.00 29 0.172
190 A 5 5 1.00 29 0.172
191 A 6 5 1.00 29 0.172
192 A 7 5 1.00 29 0.172
193 A 9 8 1.13 31 0.258
194 A 8 7 1.14 31 0.226
195 A 8 7 1.33 31 0.226
196 A 6 6 1.00 29 0.207
197 B 8 8 2.19 31 0.258
198 A 8 8 1.97 31 0.258
199 A 5 4 1.42 31 0.129
200 A 6 5 1.26 31 0.161
201 A 8 6 1.20 31 0.194
202 A 9 7 1.16 31 0.226
203 A 9 7 1.06 31 0.226
204 A 10 6 1.00 29 0.207
205 A 9 9 1.68 31 0.290
206 A 9 9 1.70 31 0.290
207 A 9 9 1.60 31 0.290
208 A 6 4 1.28 31 0.129
209 A 7 5 1.23 31 0.161
210 A 7 7 1.29 31 0.226
211 A 6 6 1.46 31 0.194
212 A 6 6 1.84 31 0.194
213 A 3 3 1.00 29 0.103
214 A 4 4 1.61 31 0.129
215 A 6 6 1.35 31 0.194
216 A 7 7 1.29 31 0.226
217 A 8 8 1.22 31 0.258
218 A 7 7 1.29 31 0.226
219 A 6 6 1.45 31 0.194
220 A 6 6 1.67 31 0.194
221 A 2 2 1.00 29 0.069
222 A 6 6 1.42 31 0.194
223 A 7 6 1.23 31 0.194
224 A 8 7 1.22 31 0.226
225 A 9 8 1.12 31 0.258
226 A 8 7 1.15 31 0.226
227 A 7 7 1.29 31 0.226
228 A 6 6 1.45 31 0.194
229 A 4 4 1.00 31 0.129
230 A 3 3 1.00 29 0.103
231 A 7 6 1.30 31 0.194
232 A 8 6 1.13 31 0.194
233 A 9 7 1.12 31 0.226
234 A 2 2 1.00 35 0.057
235 A 5 5 1.00 35 0.143
236 A 2 2 1.00 35 0.057
237 A 5 5 1.00 37 0.135
238 A 2 2 1.00 33 0.061
239 A 5 4 1.00 39 0.103
240 A 5 5 1.00 33 0.152
241 A 5 5 1.00 35 0.143
242 A 5 4 1.00 39 0.103
243 A 8 6 1.00 39 0.154
244 A 8 6 1.00 29 0.207
245 A 7 6 1.00 29 0.207
246 A 6 6 1.00 29 0.207
247 A 5 5 1.00 27 0.185
248 A 5 5 1.00 29 0.172
249 A 5 5 1.00 29 0.172
250 A 6 5 1.00 29 0.172
251 A 7 5 1.00 29 0.172
252 A 12 8 1.00 31 0.258
253 A 10 8 1.00 31 0.258
254 A 8 7 1.00 31 0.226
255 A 5 5 1.00 29 0.172
256 A 6 4 1.00 31 0.129
257 A 7 5 1.00 31 0.161
258 A 16 10 1.00 31 0.323
259 A 14 10 1.00 31 0.323
260 A 12 9 1.00 31 0.290
261 A 10 7 1.00 31 0.226
262 A 5 5 1.00 29 0.172
263 A 7 5 1.00 31 0.161
264 A 3 3 1.00 33 0.091
265 A 1 1 1.00 35 0.029
266 A 1 1 1.00 35 0.029
267 A 1 1 1.00 35 0.029
268 A 1 1 1.00 35 0.029
269 A 3 3 1.00 37 0.081
270 A 7 5 1.00 39 0.128
271 A 3 3 1.00 39 0.077
272 A 8 6 1.00 39 0.154
273 A 1 1 1.00 33 0.030
274 A 11 11 1.00 39 0.282
275 A 3 3 1.00 33 0.091
276 A 3 3 1.00 35 0.086
277 A 7 7 1.00 39 0.180
278 A 11 11 1.00 39 0.282
279 A 3 3 1.00 33 0.091
280 A 7 5 1.00 39 0.128
281 A 1 1 1.00 33 0.030
282 A 3 3 1.00 35 0.086
283 A 3 3 1.00 39 0.077
284 A 7 5 1.00 39 0.128
285 A 4 2 1.00 28 0.071
286 A 4 2 1.00 28 0.071

[next] [prev] [prev-tail] [front] [up]